221. An Outline of set theory
پدیدآورنده : Henle, James M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Set theory,، Logic, Symbolic and mathematical
رده :
QA
248
.
H43
1986
222. <An> outline of set theory
پدیدآورنده : James M. Henle
موضوع : Set theory,Logic, Symbolic and mathematical
۵ نسخه از این کتاب در ۴ کتابخانه موجود است.
223. An algebraic approach to non-classical logics
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
R224
224. An algebraic introduction to mathematical logic
پدیدآورنده : Barnes, D. W.)Donald W.(,5391-,D. W. Barnes, J. M. Mack
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
225. An algebraic introduction tomathematical logic
پدیدآورنده : Barnes, Donald W.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Algebraic logic
رده :
QA
9
.
B27
226. An examination of logical positivism
پدیدآورنده : Weinberg, Julius Rudolph
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Logical positivism
رده :
BC
135
.
W37
1936
227. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter
کتابخانه: (قم)
موضوع : ، Gdel, Kurt,، Gdel numbers,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S65
2007
228. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
کتابخانه: (طهران)
موضوع : ، Godel numbers,، Godel, Kurt Friedrich, 6091-8791,، Logic, Symbolic and mathematical
رده :
QA
9
.
65
.
S64I5
229. An introduction to Godel's Theorems
پدیدآورنده : Smith, Peter, 5391-
موضوع : ، Godel numbers,، Godel, Kurt, 6091-8791,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
230. An introduction to Gödel's theorems /
پدیدآورنده : Peter Smith
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Gödel, Kurt,Logic, Symbolic and mathematical
231. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
موضوع : ، 1 Hilbert space,، Quantum theory,، Log symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
232. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: (طهران)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
233. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: (طهران)
موضوع : Hilbert space , Quantum theory , Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
234. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W
کتابخانه: (طهران)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
235. An introduction to Hilbert space and quantum logic
پدیدآورنده : Cohen, David W.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Hilbert space,، Quantum theory,، Logic, Symbolic and mathematical
رده :
QA
322
.
4
.
C64
1989
236. An introduction to Mathematical thought. Reding, Mass
پدیدآورنده : Edward Russell Stabler
موضوع : Mathematics-philosophy,Logic,Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
237. An introduction to Wittgenstein's Tractatus
پدیدآورنده : Anscombe, Gertrude Elizabeth Margaret, 9191-1002
کتابخانه: (طهران)
موضوع : ، Wittgenstein, Ludwig, 9881-1591. Tractatus logico-philosophicus,، Logic, Symbolic and mathematical,Philosophy ، Language and languages
رده :
B
3376
.
W563T7226
1971
238. An introduction to Wittgenstein's Tractatus
پدیدآورنده : Anscombe, G. E. M. )Gertrude Elizabeth Margaret(
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : Tractatus logico-philosophicus - Criticism and Interpretation ، Wittgenstein, Ludwig,9881-1591,، Logic, Symbolic and mathematical.,Philosophy ، Language and languages
رده :
B
3376
.
W563T7
239. An introduction to analysis
پدیدآورنده : Zaring, Wilson M
کتابخانه: (طهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3
240. An introduction to analysis
پدیدآورنده : Zaring, Wilson M.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Calculus,، Logic, Symbolic and mathematical,، Set theory
رده :
QA
303
.
Z3